x86/mm: fix the non-debug build
authorTim Deegan <Tim.Deegan@citrix.com>
Thu, 30 Jun 2011 10:01:04 +0000 (11:01 +0100)
committerTim Deegan <Tim.Deegan@citrix.com>
Thu, 30 Jun 2011 10:01:04 +0000 (11:01 +0100)
commit217c9831a9b0da2ab04008fd9181d8ef2da7504d
tree2204974cf0fb369e865f2adcfa0ed4b82c118c86
parentbaa496ade997e90025fe75be35f64f98614518b2
x86/mm: fix the non-debug build

Signed-off-by: Tim Deegan <Tim.Deegan@citrix.com>
xen/arch/x86/mm/p2m.c